open cic
open ca
open csr
open drr
open ea
open eap
open ease
open s
open nd

// ------------------------------------------------------------
//  ...
// ------------------------------------------------------------

//abstract sig FT {}
//abstract sig FV {}

run {} for 8
